Vào tháng 11 năm 2025 tại sự kiện Devconnect ở Argentina, Nhà nghiên cứu của Quỹ Ethereum, Justin Drake đã trình diễn một quy trình xác thực khối khác biệt, nơi nút xác thực của ông sử dụng khách hàng zkLighthouse, chỉ dựa vào chứng minh số không của các giao thức như Pico zkVM từ Brevis, để xác minh tính hợp lệ của khối. Điều này rất có thể dự báo hướng mở rộng của Ethereum trong tương lai. Nó chứng minh một điều: Blockchain không cần phải thực thi lại tất cả các tính toán, chỉ cần có thể xác minh chứng minh được tạo ra bên ngoại.
Vị trí của Brevis không chỉ là một ứng dụng cụ thể nào đó, mà là một tầng tính toán có thể xác minh. Là một tầng tính toán vô hạn (Infinite Compute Layer), nó cho phép tính toán phức tạp được thực thi ngoài chuỗi và thông qua chứng minh số không đưa kết quả trở lại chuỗi, mà hợp đồng thông minh sử dụng chi phí rất thấp để xác minh. Điều quan trọng là vì mô hình bảo mật mặc định của Ethereum, bản chất phụ thuộc vào việc tính toán toàn mạng, mỗi nút xác thực sau khi nhận được khối mới, thường phải chạy lại các giao dịch trong khối một lần nữa để xác minh rằng kết quả thực thi của khối này thực sự chính xác. Mặc dù đảm bảo tính chính xác, nhưng cũng ngụ ý rằng công suất tính toán và tài nguyên sẽ tiếp tục tăng lên theo quá trình tải của hệ thống. Brevis đang biến phần phải thực hiện lại của tính toán này thành một lần tính toán, xác minh toàn mạng, thực thi tính toán ngoài chuỗi và tạo chứng minh, chuỗi và nút chỉ cần xác minh một chứng minh rất nhỏ.
Khác với nhiều ứng dụng zk chỉ tập trung vào quyền riêng tư hoặc mở rộng, Brevis đang tận dụng để giải quyết vấn đề cấu trúc của ngành công nghiệp Web3; khi tính toán trên chuỗi ngày càng phức tạp và thường xuyên hơn, hệ thống liệu có nhất định phải dựa vào mỗi nút phải thực thi lại để duy trì tính minh bạch không? Hướng của Brevis là di chuyển tính toán ra khỏi chuỗi, thực thi thông qua zkVM và tạo chứng minh, hợp đồng trên chuỗi chỉ cần xác minh chứng minh, từ đó cho phép hợp đồng có thể tin cậy sử dụng dữ liệu lịch sử, trạng thái liên chuỗi hoặc kết quả thuật toán phức tạp, đồng thời không đưa ra giả định tin cậy bổ sung. Trong quá trình đạt được mục tiêu này, ZK Data Coprocessor, Pico zkVM và ProverNet hiện tạo thành ba lõi công nghệ của nó.
Bước tiến công nghệ đầu tiên của Brevis là ZK Data Coprocessor. Nó cho phép hợp đồng thông minh có thể truy vấn bất kỳ dữ liệu lịch sử nào trên chuỗi, thực thi tính toán ngoài chuỗi và tạo chứng minh số không, đưa kết quả tính toán như là đầu vào tin cậy cung cấp cho hợp đồng. ZK Data Coprocessor có thể truy vấn và tính toán khối lượng giao dịch lịch sử hoặc hành vi người dùng trên chuỗi và tạo chứng minh số không cung cấp cho hợp đồng xác minh. Điều này làm cho hợp đồng, ban đầu chỉ có thể truy cập vào khối hiện tại, cũng có thể sử dụng dữ liệu cửa sổ thời gian dài và trạng thái liên chuỗi.
Sau khi Brevis tạo ra mẫu Coprocessor vào năm 2023, họ liên tục phát triển và đến tháng 1 năm 2025, họ ra mắt phiên bản v2 và triển khai trên mainnet. Sự thay đổi then chốt trong v2, không cần phải lo lắng về tên cụ thể của hệ thống chứng minh, có thể trừu tượng hóa thành ba điểm: nhanh hơn (hoàn thành cùng một nhiệm vụ với ít tài nguyên hơn và trong thời gian ngắn hơn), linh hoạt hơn (có thể bao phủ nhiều loại dữ liệu và yêu cầu tính toán hơn), và dễ sử dụng hơn (đơn giản hóa quy trình, bao gói sự phức tạp).
Nhìn lại con đường công nghệ của Brevis trước năm 2025, thực ra chỉ có một đường chính, đó là định rõ ranh giới hiệu suất của hệ thống chứng minh trước, sau đó biến nó thành Coprocessor có thể sử dụng được cả trên chuỗi và ngoại chuỗi và liên tục phát triển kỹ thuật, sau đó khám phá hình thái vận hành hệ thống hơn.
Điều hiếm có của họ là đã thể hiện được bản sắc của đội, không chỉ hiểu về mật mã mà còn hiểu về kỹ thuật hệ thống quy mô lớn, không dựa vào suy luận trên giấy để chiến thắng, dự án đã xác định rõ điểm đau của ngành từ giai đoạn ban đầu và cam kết áp dụng công nghệ một cách quy mô lớn.
Vào năm 2025, Brevis đã hoàn thiện hai khối xây dựng khác trong ba khối, một trong số đó là động cơ thực thi chứng minh linh hoạt hơn, hướng tới môi trường sản xuất, Pico zkVM, và khác một phần là biến khả năng tạo chứng minh thành một dịch vụ mở thông qua ProverNet, từ chứng minh có thể chứng minh hiển.
Pico zkVM có thể được hiểu như động cơ chứng minh thông thường của Brevis, nó đã đưa chứng minh không biết gì từ mạch đặc biệt, điều chỉnh bằng tay lên một hình thái gần như kỹ thuật phần mềm - những người phát triển viết logic bằng cách quen thuộc, sau đó từ tầng dưới biến nó thành kết quả chứng minh có thể xác minh. Quan trọng hơn, Pico đã hướng tới hiệu suất và chi phí của thực tế kể từ đầu, trong cùng một bộ tham chiếu, so sánh của Brevis cho thấy rằng Pico có lợi thế hiệu suất rõ rệt so với các zkVM phổ biến khác, đồng thời cũng có thể thông qua phương tiện cắm chồng/cộ xử lý, biến loại tính toán cụ thể thành hiệu quả hơn.
Vào tháng 6 năm 2025, Brevis phát hành Pico-GPU, đưa tốc độ tạo chứng minh thời gian thực lên một điểm quan trọng, không chỉ đối với giao thức mà còn đối với toàn bộ ngành. Pico-GPU đã đưa quá trình tạo chứng minh chính lên GPU song song, sự cải thiện theo số liệu chính thức của họ đạt tới mức 10-20 lần so với trước đó, một bước nhảy vọt so với giải pháp trước đây.
Pico Prism được phát hành vào tháng 10 đã đưa hướng điều này đến một ngưỡng rất trực quan, với cấu hình 64 GPU tiêu dùng, đã đạt được 99,6% khối gas Ethereum dạng hình chữ nhật trong vòng 12 giây, 96,8% hoàn thành chứng minh trong vòng 10 giây, thời gian chứng minh trung bình khoảng 6,9 giây, tiếp cận với mục tiêu của Ethereum Foundation. Lần đầu tiên, tốc độ tạo chứng minh thời gian thực đã gần như hoàn hảo với tốc độ đào block của Ethereum, và so với đối thủ cạnh tranh, sử dụng ít tài nguyên hơn.
Tiến triển này cũng nhận được phản hồi trực tiếp từ cộng đồng lõi của Ethereum. Vitalik đã đề cập trực tiếp trong một tweet rằng việc Pico Prism tiến nhập vào đường đua ZK-EVM là một bước quan trọng trong việc chứng minh tốc độ và đa dạng hóa. Justin Drake đã đánh giá việc tiến triển thời gian thực của Pico Prism rất đáng chú ý một cách rõ ràng trong một tweet trước đó, hãy nhớ rằng vào tháng 5 năm nay, SP1 Hypercube cần 160 chiếc RTX 4090 để chứng minh khoảng 94% khối L1 trong 12 giây. Sự dẫn đầu đột phá như vậy về tốc độ chứng minh thời gian thực đã làm cho Pico Prism của Brevis trở thành giải pháp đáng chú ý nhất.
Sau khi thành công trong việc phát triển zkVM tổng quát và công nghệ chứng minh thời gian thực, Brevis bắt đầu giải quyết vấn đề cung cấp chứng minh. Vào tháng 11 năm 2025, Brevis công bố tầm nhìn của ProverNet, biến khả năng chứng minh thành thị trường, bất kỳ ứng dụng nào đều có thể nộp nhiệm vụ chứng minh, thông qua cơ chế đấu giá để khớp với các nút prover trên thị trường. Việc ra mắt Mainnet Beta vào tháng 12 đã đưa nó một bước tiếp theo để trở thành một sản phẩm thực tế, thị trường hoạt động liên tục, yêu cầu chứng minh có thể được nộp trực tiếp, các prover cũng có thể đăng ký và bắt đầu chào giá nhận việc, ứng dụng không cần phải xây dựng cơ sở hạ tầng chứng minh của riêng mình nữa.
Qua ba "xe ngựa", Brevis đã biến khả năng chứng minh từ một công cụ thành cơ sở hạ tầng, không chỉ có một bộ máy chứng minh có thể mở rộng, mà còn có mạng lưới cung cấp chứng minh mở, cho phép ứng dụng nhận được tính toán có thể xác minh theo nhu cầu. Ý nghĩa của nó không chỉ trong Ethereum - mô hình tính toán ngoại chuỗi, xác minh trên chuỗi như vậy sẽ lan rộng ra toàn bộ Web3, thậm chí cả các ngành công nghiệp khác như trí tuệ nhân tạo và trò chơi.
Giá trị kỹ thuật của Brevis cuối cùng sẽ phản ánh trong ứng dụng thực tế. Điều này không phải là một khái niệm được trưng bày trong tài liệu tiếp thị, mà là một phần tử của hoạt động hàng ngày của giao thức, cách lấy dữ liệu, cách tính chỉ số, cách trả thưởng, cách điều chỉnh phí - những điều mà ban đầu không thể hoặc chỉ có thể được xây dựng bằng cách ép buộc từ các tập lệnh tập trung, bây giờ bắt đầu xuất hiện một con đường có tính chất giao thức hóa hơn, trong quá trình này, Brevis đã tạo ra hơn 280 triệu chứng minh cho người dùng, phân phối hơn 2.3 tỷ USD thưởng và thúc đẩy an toàn tăng trưởng 25 tỷ USD TVL.
Để hiểu rõ nhất về Brevis, bạn có thể bắt đầu từ giao dịch mà người dùng quen thuộc nhất. Brevis có thể đem lại các chức năng giống như sàn giao dịch tập trung cho DEX mà vẫn đảm bảo sự riêng tư và thực tế của dữ liệu, cải thiện trải nghiệm giao dịch của người dùng DEX. PancakeSwap Infinity thông qua hook đã biến việc phân cấp phí thành khả năng, lịch sử sở hữu token, khối lượng giao dịch và các hành vi tiền điện tử trước đây sẽ ảnh hưởng đến mức phí của giao dịch của bạn. Nhưng để đưa ra những quyết định như vậy, cần phụ thuộc vào tổng hợp dữ liệu lịch sử, đưa ra trên chuỗi quá tốn kém, đưa ra ngoại chuỗi sẽ mất sự tin cậy. Brevis đã thực hiện việc tính toán lịch sử ngoại chuỗi, sau đó sử dụng chứng minh để đưa dữ liệu trở lại chuỗi, cho phép mức phí khác biệt có thể được viết vào hợp đồng thông minh, thay vì được viết riêng trong các tập lệnh cảnh báo ở phía sau như sàn giao dịch tập trung.
Nếu PancakeSwap được xem như trải nghiệm cá nhân hóa giống hơn với CEX, thì Usual thể hiện sự điều chỉnh dài hạn hơn, chuyển từ việc khuyến khích một lần thành cơ chế cân đối CPI liên tục. Phần thưởng được liên kết lâu dài với việc nắm giữ, tương tác và các hành vi khác, trong khi Brevis biến các chỉ số này thành đầu vào có thể xác minh, giúp phân phối tự động hóa, có thể kiểm toán, không cần cộng đồng tin tưởng vào một bảng tính hoặc người phân phối tập trung nào. Thông qua Incentra, việc phát hành phần thưởng được thực hiện thông qua khả năng tiêu chuẩn hóa, giao thức muốn phân phối phần thưởng LP, cho vay hoặc nắm giữ, với yếu tố chính là chỉ số ngoại tuyến, thanh trừ on-chain theo cơ chế chứng minh. Hoạt động của Euler trên Arbitrum chính là minh chứng - phần thưởng không dựa vào thống kê và phân phối đa chữ ký, mà là sự phân phối liên tục dựa trên luật lệ và chứng minh.
Khi tình huống mở rộng lên mức hệ sinh thái, Chương trình Khởi nghiệp của Linea là minh chứng rõ ràng hơn, khó khăn không phải là việc khuyến khích, mà là việc làm thế nào để khuyến khích. Brevis cho phép tính toán khuyến khích quy mô lớn được thực hiện ngoại tuyến và đưa lại tính xác thực lên chuỗi, từ đó dẫn phần thưởng khỏi các hoạt động vận hành trung tâm, đẩy nó vào khả năng hệ thống có thể tái sử dụng. Một ví dụ khác liên quan đến hệ thống cũng là Chương trình Hoàn trả Tuyến đường của Uniswap v4. Việc xác định liệu tuyến đường có xảy ra, cách thống kê tiêu gas và việc tính toán số tiền hoàn trả, đều là chuỗi dữ liệu - tính toán - thanh toán. Brevis đảm nhận phần tính toán ngoại tuyến và tạo ra chứng minh, giúp hệ thống hoàn trả dựa trên luật lệ + xác thực, chứ không phải niềm tin vào bất kỳ bên thống kê nào.
Khi xem xét các ví dụ này cùng nhau, việc lấy dữ liệu, tính toán chỉ số và tạo ra chứng minh của Brevis cho phép giao thức viết lại nhiều logic mà trước đây chỉ có thể thực hiện thông qua vận hành trung tâm, mà không cần hi sinh tính phi trung gian, mở rộng lại không gian thiết kế cho toàn bộ ngành công nghiệp mã hóa.
Đội ngũ lãnh đạo cốt lõi của Brevis bao gồm các nhà nghiên cứu có nền tảng từ các trường đại học hàng đầu và kỹ sư hệ thống hiện trường, với đặc điểm rất rõ ràng, không chỉ có thể thực hiện những nhiệm vụ dài hạn về hệ thống và thuật toán mà còn có khả năng đưa công nghệ phức tạp vào môi trường sản xuất thực sự để cải tiến liên tục, cho đến khi hiệu suất, ổn định và chi phí đạt đến tiêu chuẩn triển khai quy mô được. Quan trọng hơn, họ không chỉ hiểu biết về công nghệ mà còn về cách hoạt động của ngành công nghiệp mã hóa - hiểu rõ nhu cầu thực của bên tham gia giao thức, nhịp độ thúc đẩy hợp tác hệ sinh thái, cũng như tích lũy dài hạn ở mức vốn và cộng đồng, có khả năng chuyển hướng tuyến đường công nghệ thành các mối quan hệ đối tác và động lực phát triển liên tục.
Các dấu hiệu này có thể thấy rõ thông qua sự ủng hộ dài hạn từ cộng đồng và vốn cho Brevis. Brevis đã hoàn tất vòng gieo cấy vào tháng 11 năm 2024, do các tổ chức hàng đầu như Polychain và Yzi Labs dẫn đầu, cung cấp nguồn tài trợ để xúc tiến zkVM, mạng chứng minh và triển khai sản phẩm. Đồng thời, cộng đồng của Brevis đã có sự tăng trưởng đáng kể vào năm 2025, phối hợp với Proving Grounds, hệ thống vai trò và cơ chế nhiệm vụ để thu hút sự tham gia liên tục của các nhà phát triển và người dùng. Kết hợp với sự công nhận công khai của Vitalik và sự quan tâm từ Justin Drake của Ethereum Foundation đối với tiến triển liên quan trong các thử nghiệm và thảo luận, tất cả cùng tạo nên sự ủng hộ bên ngoài và vốn tin cậy để Brevis tiếp tục mở rộng như một cơ sở hạ tầng.
Ethereum đã gặp khó khăn trong việc mở rộng hiệu suất trong một thời gian dài, đứng vào tình thế mâu thuẫn cấu trúc: hoặc là tất cả các nút phải tính toán lại để đổi lấy sự an toàn và không tin cậy, nhưng hiệu suất và chi phí bị định trước bởi việc tính toán lặp lại trên toàn mạng; hoặc là phải giao việc tính toán ra ngoài để nâng cao hiệu suất, nhưng phải tin tưởng thêm vào một bên tính toán. Brevis cố gắng cung cấp con đường thứ ba—đưa tính toán phức tạp ra khỏi chuỗi để hoàn thành, sau đó sử dụng chứng minh để đưa tính tin cậy trở lại chuỗi để xác minh, chuyển hệ thống từ mô hình tính toán lặp lại sang mô hình phân công kiểm tra kết quả. Giá trị của nó không phải đến từ một điểm cụ thể, mà đến từ việc mở rộng một chuỗi liên kết của tính toán có thể xác minh.
Brevis không phải là một giải pháp độc nhất cho vấn đề mở rộng của Ethereum, nhưng nó đã trình bày giá trị quan trọng của lớp tính toán có thể xác minh, phân biệt tính toán và xác minh, đảm bảo an toàn và phân cấp, đồng thời giảm áp lực thực thi trên chuỗi. Quan trọng hơn, hiệu quả của lớp tính toán vô hạn không chỉ xảy ra trên Ethereum. Đối với toàn bộ ngành công nghiệp tiền điện tử, điều đó có nghĩa là có thể đạt được sự phức tạp và trải nghiệm gần với Web2 mà không cần hy sinh tính an toàn; và khi chuyển sang thế giới rộng lớn hơn, tính toán có thể xác minh sau tính toán đã cung cấp một cách mới trong cách làm việc đa phương diện—khi nhiều bên cần phải chia sẻ kết quả nhưng không thể chia sẻ tin cậy, chứng minh có thể trở thành một ngôn ngữ chung mới. Khi mạng chứng minh mở như ProverNet trở nên mạnh mẽ, những gì Brevis xây dựng không chỉ là tăng cường khả năng của một chuỗi, mà còn là một nguồn cung cấp tính toán tin cậy có thể truy xuất trên mọi hệ sinh thái, mọi ngành công nghiệp.